loading SCIP...
13 35766 true
0 5 13 14 45 47 60 66 68 75 76 94 96