loading SCIP...
52 94 true
0 1 4 5 6 10 12 13 15 16 18 22 23 27 28 29 32 33 34 37 40 41 42 43 45 48 49 50 52 56 57 59 62 63 64 66 69 72 73 75 76 77 81 83 86 87 90 92 95 97 98 99