Yet another Tetravex puzzle solver