loading SCIP...
53 93 true
2 3 4 6 7 8 9 12 14 17 18 20 21 22 23 25 27 31 33 34 36 37 41 42 44 45 46 48 49 51 52 54 55 57 58 59 60 61 64 66 68 69 71 74 75 81 82 83 86 87 91 93 95