(17/12)-sqrt(2)