loading SCIP...
50 93 true
1 2 6 11 12 13 14 15 20 22 24 25 27 28 30 31 33 35 36 37 38 42 43 44 46 49 50 51 53 55 57 63 64 65 66 68 70 73 74 75 77 78 80 83 90 93 95 96 97 99