loading SCIP...
17 30109 true
13 14 24 31 33 38 40 42 47 61 62 67 69 80 85 90 92