loading SCIP...
11 41515 true
0 11 18 26 33 66 69 80 87 92 98