loading SCIP...
62 78 true
2 4 5 9 13 14 15 16 17 21 22 27 28 29 31 32 34 35 36 38 40 41 44 45 46 47 48 49 50 52 53 55 56 57 58 59 61 62 64 65 68 69 70 72 73 74 75 76 77 78 79 82 86 87 89 90 91 92 94 95 97 98