Today is 2025-12-29, we'll try to make 24 of [ 20 25 12 29 ] with our big solver.
No solution found for [ 20 25 12 29 ].