5.02/5.27	unsat
