loading SCIP...
44 797 true
0 1 3 5 7 8 9 11 14 20 21 22 25 26 31 36 37 38 43 44 47 48 50 51 55 59 64 66 68 70 75 76 77 78 79 80 82 85 86 88 89 93 98 99