29.16/33.27	unsat
