loading SCIP...
29 13297 true
1 2 5 7 9 10 20 22 23 25 26 34 42 45 46 49 51 53 66 67 69 78 81 82 86 87 91 94 97