4342.sat