loading SCIP...
10 44094 true
7 22 29 41 53 57 64 76 81 85