loading SCIP...
50 78 true
1 5 7 12 13 14 16 17 18 19 23 28 30 31 35 36 37 38 40 41 42 43 44 45 47 48 49 50 51 54 57 58 61 62 64 66 68 69 73 74 77 78 80 85 88 89 91 93 97 99