depend.sat