14.16/14.27	unsat
