loading SCIP...
13 37531 true
7 9 16 22 29 47 52 69 73 75 80 88 98