awk '{printf("%.9f",$1+$2/3)}'