loading SCIP...
14 36547 true
0 6 13 23 26 34 36 53 57 65 72 73 75 98