loading SCIP...
10 46296 true
3 9 16 17 18 30 39 40 79 82