652 written bt BFS, still too slow and cannot check "unsolvable".
652 TLE, trying to check unsolvable first.
652 TLE, building whole table for all possible states.
652 WA, checking.
652 AC, fixed the reverse bug, refined template factory array.
652 add remark.