loading SCIP...
14 35844 true
15 16 21 26 38 40 42 59 67 72 90 91 93 97