loading SCIP...
23 20187 true
3 5 9 13 14 20 28 37 40 41 51 60 65 66 67 69 72 80 82 91 92 94 98