From 897a2d647044212c6abdf8f92a100f3a52877277 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 10 May 2021 13:33:37 -0700
Subject: [PATCH] #5261

---
 src/shell/dimacs_frontend.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/shell/dimacs_frontend.cpp b/src/shell/dimacs_frontend.cpp
index 8dc3104fc..7350745f2 100644
--- a/src/shell/dimacs_frontend.cpp
+++ b/src/shell/dimacs_frontend.cpp
@@ -264,15 +264,15 @@ unsigned read_dimacs(char const * file_name) {
     }
     switch (r) {
     case l_true: 
-        std::cout << "sat\n"; 
+        std::cout << "s SATISFIABLE\n"; 
         if (file_name && gparams::get_ref().get_bool("model_validate", false)) verify_solution(file_name);
         display_model(*g_solver);
         break;
     case l_undef: 
-        std::cout << "unknown\n"; 
+        std::cout << "s UNKNOWN\n"; 
         break;
     case l_false: 
-        std::cout << "unsat\n"; 
+        std::cout << "s UNSATISFIABLE\n"; 
         if (p.get_bool("dimacs.core", false)) {
             display_core(*g_solver, tracking_clauses);
         }