loading SCIP...
17 33968 true
4 12 13 14 17 19 27 47 50 57 66 67 72 83 91 95 97