TSTP Solution File: KRS291-1 by SRASS---0.1