TSTP Solution File: FLD055-3 by Nitpick---2016