diff --git a/solvers/abscon/AbsCon-20-09.jar b/solvers/abscon/AbsCon-20-09.jar
index 94fc78c..89e054f 100644
Binary files a/solvers/abscon/AbsCon-20-09.jar and b/solvers/abscon/AbsCon-20-09.jar differ
diff --git a/solvers/solver.py b/solvers/solver.py
index 8f54e7c..53a2e6a 100644
--- a/solvers/solver.py
+++ b/solvers/solver.py
@@ -135,7 +135,7 @@ def extract_result_and_solution(stdout):
             left, right = stdout.rfind("<instantiation"), stdout.rfind("</instantiation>")
             s = stdout[left:right + len("</instantiation>")].replace("\nv", "")
             root = etree.fromstring(s, etree.XMLParser(remove_blank_text=True))
-            optimal = stdout.find("s OPTIMUM ") != - -1
+            optimal = stdout.find("s OPTIMUM ") != -1
             if cop:
                 if "type" not in root.attrib:
                     root.attrib['type'] = "solution" + (" optimal" if optimal else "")