4669.sat
4669.sat