Αποστολή με SMS: Variational methods for strongly indefinite problems