loading SCIP...
60 78 true
3 4 5 7 8 10 11 12 14 15 17 18 19 20 21 22 26 27 31 32 33 37 42 44 46 48 49 51 52 53 54 55 58 59 60 61 64 65 66 67 68 69 70 71 73 75 77 80 82 84 86 87 88 89 91 93 94 95 96 97