(
set-logic QF_LRA ; unsupported logic