Approximation Strategies for Incomplete MaxSAT