Solve Yices