loading SCIP...
7 48844 true
13 22 51 53 65 73 76