13.37/16.27	unsat
