loading SCIP...
28 13796 true
0 1 7 14 15 17 21 31 34 45 49 50 51 52 53 60 62 64 69 72 78 79 88 91 93 94 95 99