TSTP Solution File: PUZ015-2.006 by SRASS---0.1