synce-* depsolving problem