Solving a corn puzzle with CP-SAT