Исправлены конечные положения объектов.

src/inport/ConversionUtil.java

@@ -314,7 +314,7 @@ public class ConversionUtil {
                 writeArray(writer, "is_continuous_operation", isMovingObj);
             }
             { // Конечные положения объектов.
-                ArrayList<Integer> finalStates = integerArray(movingObjects.size(), 0);
+                ArrayList<Integer> finalStates = integerArray(movingObjects.size(), -1);
                 for (MovingObjectState state : task.getVesselEndState()) {
                     finalStates.set(mObjToN.apply(state.getVessel()), getLocNById.apply(state.getLocation().getId(), false));
                 }
@@ -580,6 +580,9 @@ public class ConversionUtil {
                     result = Integer.parseInt(line);
                     continue;
                 }
+                if (line.equals("=====UNSATISFIABLE=====")) {
+                    throw new ParserException("No solution.");
+                }
                 break;
             }
             if (operations == null) {