Rename satis.json to test.txt