loading SCIP...
29 11703 true
4 9 15 16 26 27 31 35 37 38 40 43 44 50 53 62 64 67 68 70 74 75 76 79 81 86 90 97 98