loading SCIP...
19 27843 true
5 6 13 24 27 33 35 42 46 56 57 60 63 74 75 80 82 85 88