loading SCIP...
13 35640 true
12 18 20 27 30 36 43 49 55 65 69 75 77