diff --git a/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java b/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
index d57c967a4b40cd1fe00ac442913b2670621cd1ef..75f601f8cfe932618935470d5c2ff1220594b154 100644
--- a/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
+++ b/org.sat4j.sat/src/main/java/org/sat4j/sat/KTHLauncher.java
@@ -349,16 +349,11 @@ public class KTHLauncher {
                     System.out.println("s UNSATISFIABLE");
                 }
             } catch (TimeoutException e) {
-                System.out.println("s UNKNOWN");
-            } catch (ParseFormatException e) {
-                // TODO Auto-generated catch block
-                e.printStackTrace();
-            } catch (IOException e) {
-                // TODO Auto-generated catch block
-                e.printStackTrace();
+                log("UNKNOWN","s ");
             } catch (ContradictionException e) {
-                // TODO Auto-generated catch block
-                e.printStackTrace();
+                log("UNSATISFIABLE","s ");
+            } catch (Exception e) {
+                log(e.getMessage());
             }
         } catch (ParseException exp) {
             System.out.println("Unexpected exception:" + exp.getMessage());