8.39/10.53	unsat
