>110
(s, t, s+3^(1/2))を何倍すれば

(s, t, s+3^(1/2))は、解となりません。