61.28/61.47	unsat
