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