TcInteract
solveInteractWanted
solveInteractGiven
solveInteractCts