19.14/20.46	unsat
