loading SCIP...
12 40500 true
7 9 12 18 19 27 28 32 35 44 45 65