15.93/19.27	unsat
