19.66/19.85	unsat
