A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem