loading SCIP...
8 50781 true
17 31 53 71 74 85 87 92