loading SCIP...
19 28000 true
2 3 6 17 22 33 43 44 48 63 67 75 78 81 86 87 93 94 98