Enviar por SMS: Variational methods for strongly indefinite problems