Choose the correct tense-.
Javed was so exhausted that he lain down for a sleep.
Javed was so exhausted that he had laid down for a sleep.
Javed was so exhausted that he was lying down for a sleep.
Javed was so exhasted that he will lay down for a sleep