Na realidade, ainda que o A. não tivesse formulado explicitamente o pedido de declaração de resolução do contrato-promessa, esse efeito resultava implícito da invocação do incumprimento definitivo que imputava a ambas as RR. e da formulação do pedido de condenação solidária na devolução do dobro do sinal prestado.