loading SCIP...
42 1531 true
0 6 7 13 15 16 22 24 26 28 29 31 34 35 37 39 42 45 46 47 48 49 50 54 55 57 58 62 63 65 66 68 69 75 76 78 85 87 90 95 97 98