loading SCIP...
12 37500 true
4 21 24 28 30 31 47 48 66 72 77 81