Today is 2026-8-11, we'll try to make 24 of [ 20 26 8 11 ] with our big solver.
No solution found for [ 20 26 8 11 ].