vervollediging eerste constraint + koppeling aan  solver.xml