16.66/18.27	unsat
