Resource-Constrained Heuristic for Max-SAT