12.35/14.27	unsat
