0054.sat