loading SCIP...
8 46734 true
3 9 14 19 23 48 73 78