loading SCIP...
19 29140 true
4 5 9 14 27 29 33 39 42 53 54 60 65 81 82 84 85 90 95