loading SCIP...
12 37546 true
6 12 35 36 57 58 69 70 87 88 90 91