27.91/28.27	unsat
