(benchmark fuzzsmt
:logic QF_LRA
:status unsat
:formula
(<= 3 (~ 3))
)