fixed exact k condition