loading SCIP...
12 43750 true
4 5 7 12 33 36 48 53 59 77 85 98