19.16/19.27	unsat
