16.95/19.27	unsat
