TSTP Solution File: LAT186-10 by Nitpick---2016