loading SCIP...
44 1422 true
0 2 5 8 13 15 17 19 22 28 31 33 34 35 37 38 39 44 45 47 49 50 56 58 59 60 65 69 72 73 74 75 77 78 80 83 85 87 91 92 94 95 96 97