loading SCIP...
10 41953 true
3 5 28 44 47 51 55 70 76 82