sec(x) + csc(x) > 35/12