loading SCIP...
11 43640 true
4 9 26 34 38 40 43 67 70 97 99