loading SCIP...
10 45781 true
6 19 42 55 65 68 74 79 80 81