loading SCIP...
8 39594 true
25 51 53 62 77 80 82 91