64.03/67.27	unsat
