14.50/17.27	unsat
