On the Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations