loading SCIP...
60 78 true
2 4 6 7 11 12 16 18 19 21 24 27 28 29 31 34 38 40 42 43 44 45 46 47 48 50 51 52 53 54 55 56 58 60 61 62 65 66 67 68 69 70 71 73 75 76 77 79 80 81 83 84 87 89 90 91 92 93 94 99