19.98/20.12	unsat
