loading SCIP...
14 35750 true
4 24 26 28 30 33 36 49 53 67 80 90 91 97