Solving a corn puzzle with CP-SAT | TickerVault