Towards a new hybrid CP/SAT Solver..