как решить систему диф уравнений с помощью WFM?

[IrinaZub]

Здравствуйте.

Пытаюсь решить с помощью Wolfram Mathematica систему дифференциальных уравнений:

DSolve[{(x'[t])^2 + (y'[t])^2 + (z'[t])^2 == 1, 
  1 == (x''[t])^2 + (y''[t])^2 + (z''[t])^2, 
  x'[t]*y''[t]*z'''[t] + x''[t]*y'''[t]*z'[t] + x'''[t]*y'[t]*z''[t] -
     x'''[t]*y''[t]*z'[t] - x''[t]*y'[t]*z'''[t] - 
    x'[t]*y'''[t]*z''[t] == 1}, {x[t], y[t], z[t]}, t]

Программа не выдает ошибку и не виснет, а переписывает заново эту команду.
Не могу понять, в чем дело.
Система имеет решение - это система для нахождения кривых, параметризованных длиной дуги, у которых кривизна и кручение постоянны и равны 1.