loading SCIP...
13 41141 true
2 16 21 28 31 41 44 46 62 64 69 87 88