18.66/19.27	unsat
