loading SCIP...
54 109 true
0 2 8 9 11 12 13 14 15 16 17 18 19 21 25 26 27 28 30 32 33 37 40 41 42 43 44 45 46 47 49 52 53 54 56 57 59 63 64 67 69 70 73 76 80 86 87 88 90 91 92 95 97 98