loading SCIP...
51 78 true
3 5 8 9 14 15 18 21 23 28 30 32 33 34 37 38 39 40 42 44 45 47 49 52 54 57 58 59 64 65 66 70 72 73 77 78 80 81 82 83 84 85 86 88 90 91 92 93 94 96 99