loading SCIP...
8 44031 true
15 22 27 29 47 65 83 91