loading SCIP...
56 78 true
3 4 6 7 8 11 12 16 18 21 22 23 27 28 29 30 31 34 36 37 42 43 45 46 48 49 53 54 56 58 59 60 62 63 66 68 69 70 71 73 74 75 76 77 78 80 82 84 86 89 90 92 93 94 96 97