5342.sat