loading SCIP...
9 42313 true
6 10 26 39 52 74 81 87 94