loading SCIP...
53 78 true
2 4 5 11 12 13 14 16 17 19 20 24 27 29 32 39 43 45 49 50 51 53 55 56 57 58 59 60 62 63 67 69 70 72 73 74 76 77 78 79 84 85 86 87 88 90 91 92 94 96 97 98 99