Uses Grover`s algorithm and QPE to count the number of solutions for given search problem.