loading SCIP...
8 49125 true
22 48 58 59 72 82 92 94