K_r-free uniquely vertex colorable graphs with minimum possible edges