loading SCIP...
14 35453 true
4 15 17 22 37 38 39 49 60 66 81 87 88 91