3054.sat