cvcv.sat