loading SCIP...
55 78 true
0 1 3 5 12 13 14 16 17 18 21 22 24 26 27 28 31 33 34 35 36 39 40 42 43 44 46 47 48 51 55 56 57 58 59 61 62 63 64 66 67 68 73 74 76 77 81 82 84 89 93 95 96 97 99