loading SCIP...
8 45078 true
2 4 7 44 72 76 81 90