loading SCIP...
50 94 true
0 2 3 6 7 9 10 14 16 20 21 22 23 24 26 29 32 34 36 38 39 43 44 45 48 51 55 56 57 60 61 62 63 65 66 69 73 76 77 79 85 87 88 91 92 93 94 95 96 97