61.41/63.27	unsat
