loading SCIP...
17 30312 true
3 10 22 24 27 39 50 53 57 65 70 71 73 77 80 91 99