loading SCIP...
9 48219 true
15 18 39 46 61 67 81 88 93