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