28.17/28.27	unsat
