loading SCIP...
31 8625 true
0 1 4 6 11 13 14 15 17 18 19 22 24 25 35 41 43 44 52 61 62 63 66 68 70 82 84 91 95 96 97