A bounded approximation for the minimum cost 2-sat problem