loading SCIP...
33 4937 true
4 8 11 13 15 17 23 27 29 30 43 44 46 49 51 52 58 61 64 65 70 72 77 78 79 84 85 89 91 93 94 95 99