loading SCIP...
12 38375 true
3 9 11 31 37 44 50 57 59 63 69 85