Leko
says to
YSITD
s = 5/4 - c s² + c² = 1