61.27/61.47	unsat
