loading SCIP...
9 29937 true
0 9 22 23 37 40 82 83 87