From 922837b44ce266814f93446c53bd31d405a91cf9 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Tue, 1 Mar 2022 15:13:32 +0100
Subject: [PATCH] Forward unknown.

---
 libsolutil/LP.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libsolutil/LP.cpp b/libsolutil/LP.cpp
index c662476ed..f1fa71531 100644
--- a/libsolutil/LP.cpp
+++ b/libsolutil/LP.cpp
@@ -317,6 +317,8 @@ pair<LPResult, Tableau> simplexPhaseI(Tableau _tableau)
 
 	LPResult result;
 	tie(result, _tableau) = simplexEq(move(_tableau));
+	if (result == LPResult::Unknown)
+		return make_pair(LPResult::Unknown, Tableau{});
 	solAssert(result != LPResult::Infeasible, "");
 
 	vector<rational> optimum = solutionVector(_tableau);