4424.sat