loading SCIP...
14 35437 true
0 1 5 35 36 48 55 56 65 76 83 87 93 95