5402.sat