The coach is meant for practice. With it on, the current player sees the answer.
Prefix, then a colon, then the boxes. Use ∃ ∀ ∨ ∧ ¬ or the ASCII forms E A | & !. Variables are lowercase names, up to 12. A QDIMACS file also works.