14.60/16.27	unsat
