cinch.sat