loading SCIP...
8 31422 true
3 52 53 56 65 69 82 86