3394.sat