loading SCIP...
27 15000 true
0 2 10 11 15 18 19 29 30 36 42 44 45 47 48 55 56 57 58 62 64 65 75 81 82 85 93