loading SCIP...
8 54031 true
1 7 31 45 54 56 64 98