loading SCIP...
59 62 true
1 2 4 6 7 8 11 13 14 15 16 17 19 20 24 26 28 29 32 34 36 37 38 41 43 48 49 50 52 53 54 56 57 58 62 64 66 69 70 71 72 73 74 77 78 79 82 85 86 87 88 89 90 91 93 96 97 98 99