loading SCIP...
8 51062 true
1 19 44 58 62 72 90 97