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