loading SCIP...
8 53563 true
5 21 45 49 62 76 79 97