loading SCIP...
14 33968 true
10 13 15 24 43 54 57 62 63 64 65 83 89 94