TSTP Solution File: SWV542-1.007 by SRASS---0.1