(set-logic QF_BV ( ; should be ')'