loading SCIP...
32 7937 true
1 6 7 9 15 18 21 28 33 37 44 47 48 49 54 55 57 66 67 80 81 86 88 89 90 91 93 94 95 96 97 98