loading SCIP...
12 36656 true
0 27 30 31 48 53 59 60 77 80 87 99