from enum import IntEnum
from ortools.sat.python.cp_model import CpModel, CpSolver, CpSolverSolutionCallback