How To Do Solve In A Psmt