loading SCIP...
54 62 true
2 4 8 9 10 13 14 16 18 20 25 27 28 34 36 37 38 39 41 42 43 45 46 47 48 49 50 53 56 57 59 60 61 62 63 66 70 71 73 74 80 81 83 84 85 89 90 92 93 94 95 96 97 99