loading SCIP...
37 4937 true
1 3 4 9 16 17 19 25 30 31 32 34 40 43 50 54 55 57 59 61 62 65 66 68 76 79 80 81 82 84 85 86 87 88 90 94 97