An Exact Inference Scheme for MinSAT