(set-logic QF_NRAT)
(assert (> (cot 0.0) (/ 1 0)))
(set-info :status unsat)
(check-sat)