loading SCIP...
17 31141 true
17 23 25 37 42 43 47 50 56 61 63 66 75 80 88 97 98