First-order lifted weighted MaxSAT solver.