18.35/19.53	unsat
