loading SCIP...
13 35781 true
8 18 30 33 35 62 64 77 79 80 82 90 99