loading SCIP...
12 36500 true
7 9 11 18 20 47 50 52 60 68 87 91