loading SCIP...
19 27657 true
1 8 10 14 17 19 33 40 41 53 57 60 69 71 73 81 88 91 95