An incomplete max-sat solver