loading SCIP...
16 31765 true
0 18 25 29 40 47 59 60 64 67 71 73 77 80 81 82