loading SCIP...
9 35844 true
1 6 20 30 56 62 69 81 83