enforce.sat