loading SCIP...
13 37391 true
7 15 16 33 35 38 47 49 59 66 80 88 95