loading SCIP...
7 33422 true
6 14 34 48 56 58 80