Solving | ALEFAST