9.58/10.06	unsat
