14.77/16.27	unsat
