diff --git a/libsmtutil/SMTLib2Interface.cpp b/libsmtutil/SMTLib2Interface.cpp
index be1412441..0887a96f6 100644
--- a/libsmtutil/SMTLib2Interface.cpp
+++ b/libsmtutil/SMTLib2Interface.cpp
@@ -118,11 +118,11 @@ namespace { // Helpers for querying solvers using SMT callback
 	auto resultFromSolverResponse (std::string const& response) {
 		CheckResult result;
 		// TODO proper parsing
-		if (boost::starts_with(response, "sat\n"))
+		if (boost::starts_with(response, "sat"))
 			result = CheckResult::SATISFIABLE;
-		else if (boost::starts_with(response, "unsat\n"))
+		else if (boost::starts_with(response, "unsat"))
 			result = CheckResult::UNSATISFIABLE;
-		else if (boost::starts_with(response, "unknown\n"))
+		else if (boost::starts_with(response, "unknown"))
 			result = CheckResult::UNKNOWN;
 		else
 			result = CheckResult::ERROR;
diff --git a/libsmtutil/SMTLib2Interface.h b/libsmtutil/SMTLib2Interface.h
index 91430a8d4..8bff1300a 100644
--- a/libsmtutil/SMTLib2Interface.h
+++ b/libsmtutil/SMTLib2Interface.h
@@ -44,7 +44,7 @@ public:
 	explicit SMTLib2Interface(
 		std::map<util::h256, std::string> _queryResponses = {},
 		frontend::ReadCallback::Callback _smtCallback = {},
-		SMTSolverChoice _enabledSolvers = SMTSolverChoice::All(),
+		SMTSolverChoice _enabledSolvers = SMTSolverChoice::None(),
 		std::optional<unsigned> _queryTimeout = {}
 	);