loading SCIP...
54 94 true
0 1 2 5 6 7 9 10 11 12 15 16 19 20 21 22 23 24 25 29 30 32 33 34 35 38 40 41 42 43 45 47 52 53 56 62 64 67 68 70 75 76 80 82 86 87 91 92 93 94 95 96 97 98