Now solves SIGN.
Solves REVP (badly).