loading SCIP...
7 34219 true
0 1 9 12 31 37 60