loading SCIP...
9 46781 true
7 16 19 44 64 66 67 74 96