Extremal Graph Theory and Ramsey Theory · Hard problem

What is the length of the longest sequence of distinct real numbers that has no increasing subsequence of length $5$ and no decreasing subsequence of length $5$?