loading SCIP...
14 36219 true
5 17 21 23 31 37 39 48 51 63 69 70 73 75