TcInteract

solveInteractWanted

solveInteractGiven

solveInteractCts