diff --git a/src/inport/ConversionUtils/Solver.java b/src/inport/ConversionUtils/Solver.java
index 3fe8a6589a9d635fac2952650855cccd1dc80035..d9317212845e1d42ee55ef2e9d86e66b37788955 100644
--- a/src/inport/ConversionUtils/Solver.java
+++ b/src/inport/ConversionUtils/Solver.java
@@ -249,7 +249,9 @@ public class Solver {
 
             if (isResultsInOutput) {
                 try (FileWriter res = new FileWriter(solverResults)) {
-                    res.write(output);
+                    for (byte b : output.getBytes("UTF8")) {
+                        res.write(b);
+                    }
                 }
                 interpreter.accept(task, solverResults);
             } else {