A MaxSAT algorithm using cardinality constraints of bounded size