seq.sat