loading SCIP...
8 51141 true
1 5 33 43 56 59 77 96