69.53/71.27	unsat
