### solve irrational inequality

Is there any way to solve the following inequality for `a`

in Sage?

(It's pretty easy to do in Maple.)

`abs(-1/4*a - 1/4*sqrt(a^2 - 30*a + 17) + 1/4) < `~~1 for a?
~~1

Using `solve`

doesn't work. I tried using the QEPCAD package,
but on SageMathCloud, i get an error: "unable to start QEPCAD".

I tried using sympy-solve and sympy-solveset, and that didn't work either.
I plan to raise questions regarding sympy on stackexchange,
but if anyone has helpful guidelines on using sagemath's solve vs sympy-solve,
that'd be greatly appreciated. ~~my ~~My general experience has been that sympy-solve
is a lot more capable than sagemath's solve.

Any help would be greatly appreciated. Thank you.

**EDIT**

Thank you for replying. I am able to use qepcad now, but the problem
I'm trying to solve takes a very long time. Here is the code:

```
var('a')
dnf = solve(abs(-1/4*a - 1/4*sqrt(a^2 - 30*a + 17) + 1/4) <= 1, a)
qf = apply(qepcad_formula.or_, map(qepcad_formula.and_, dnf)) # reformat the solution
qf
qepcad(qf, vars='(a)') # simplify
```

Any help solving this would be greatly appreciated. Also, would it be possible
to update the version of sympy on sagemathcloud? Thank you.