decorate.sat