Smtlib_solver accepts "unknown" status