61.52/66.42	unsat
