loading SCIP...
17 31125 true
12 13 22 24 34 43 44 55 61 63 70 77 78 83 86 88 96