Added smtlib unsat tests to test script