(check-sat symbol