3390.sat