Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems