5.08/5.53	unsat
