loading SCIP...
20 359 true
1 3 4 5 6 11 15 22 23 26 27 28 29 30 35 37 38 43 44 46