loading SCIP...
16 33266 true
10 11 15 17 22 23 24 31 33 47 54 57 59 63 71 93