loading SCIP...
28 14875 true
1 4 6 8 9 11 13 21 27 28 38 43 48 49 51 52 54 57 67 68 70 72 80 88 89 91 93 97