Rename query_13.txt to query_12.txt