loading SCIP...
54 78 true
0 4 9 10 11 13 14 16 19 22 25 30 31 32 33 35 38 40 42 45 47 48 49 51 52 55 57 58 60 61 62 64 65 66 68 71 72 73 74 75 77 78 79 80 81 84 85 89 90 91 92 95 96 97