loading SCIP...
29 13469 true
0 1 2 8 10 11 19 20 22 24 28 33 36 37 39 40 41 46 51 58 59 61 62 63 68 79 80 82 92