loading SCIP...
13 44062 true
2 24 27 44 47 50 55 57 60 64 67 72 89