61.54/61.73	unsat
