setting the sat solver