loading SCIP...
30 7812 true
1 3 12 17 19 23 24 26 34 35 38 40 43 44 46 47 53 58 59 62 63 68 70 74 78 79 80 83 87 88