On the boundaries of solvability and unsolvability in tag systems. Theoretical and experimental results.