TcInteract
solveInteractGiven
solveInteract