loading SCIP...
10 45422 true
1 15 49 54 66 69 73 75 91 98