Tsion - Solver Notes