19.26/19.53	unsat
