> restart:
> G1:=3*sqrt(3)
