try.sat