loading SCIP...
27 12953 true
3 11 15 20 21 22 23 24 31 34 35 40 43 48 51 57 58 67 70 75 79 80 82 85 94 95 97