loading SCIP...
14 37578 true
8 13 15 23 29 39 57 59 61 67 69 72 81 95