3422.sat