(benchmark flet_test
:logic QF_UF
:extrapreds ((b))
:status unsat
:formula
(and b (or false false))
)