How do you solve #6+t<=13#?