loading SCIP...
12 43093 true
2 4 9 16 30 61 77 82 83 85 89 96