6.49/9.06	unsat
