loading SCIP...
13 39000 true
12 18 22 28 30 44 49 67 68 76 80 81 99