MARTELLO ( 5000 tona ) , GALLILEO ( 4000 ton« ) LEPAIBTO ( 3000 tons ) , OTRAXTO ( 3000 tona ) M .VRESIGO ( 3000 tona ).