x = et (C1 + C2t) + e-t(C3 + C4t) - 23, y = 1
2et(C2 - C1 - C2t) - 1
2e-t(C3 + C4 + C4t) + 18.