TSTP Solution File: LAT005-2 by Mace4---1109a