loading SCIP...
13 36937 true
3 6 21 22 27 30 47 62 65 71 74 77 88