loading SCIP...
21 47 true
0 2 3 6 7 8 9 11 12 15 18 21 22 23 24 27 28 30 39 40 49