loading SCIP...
14 37047 true
1 5 21 24 27 31 40 65 67 69 73 84 96 98