A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size