CIP - start mit Choco Solver