loading SCIP...
20 30109 true
0 10 11 16 22 28 30 35 37 45 48 62 63 70 71 80 81 83 97 99