cider.sat