14.54/16.27	unsat
