loading SCIP...
8 48093 true
7 8 20 31 47 56 78 91