19.45/19.53	unsat
