deep.sat