26.35/28.27	unsat
