loading SCIP...
13 36937 true
9 16 17 18 19 20 23 24 36 42 45 57 58