loading SCIP...
19 27438 true
1 5 7 8 11 12 15 19 25 27 28 36 37 41 51 53 65 70 83