works for 9x9a.txt now