loading SCIP...
11 36141 true
1 8 16 23 30 33 40 65 73 85 93