loading SCIP...
10 42141 true
4 29 30 31 43 68 78 83 90 93