What is the greatest integer that is less than √6 + √7