loading SCIP...
10 36672 true
4 7 8 14 20 29 51 60 62 83