17.16/17.27	unsat
