loading SCIP...
28 14078 true
1 5 6 7 11 14 18 19 20 28 30 37 41 47 49 59 60 61 78 80 81 82 83 84 90 93 95 99