loading SCIP...
54 47 true
0 2 5 7 9 10 11 12 18 19 22 23 28 30 31 33 35 36 40 43 44 46 47 49 53 56 58 61 62 63 64 65 66 68 69 70 71 72 73 75 77 78 81 82 83 84 85 87 88 90 91 93 95 97