Yicces working after instaling a version that suports smtlib2