6.58/10.20	unsat
