solve(A + t * B = C + s*D; E + t * F = G + s * H for s and t)