Questions - cp-sat-solver