16.18/16.27	unsat
