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