Towards a hybrid CP/SAT Solver..