Learning SMT(LRA) Constraints using SMT Solvers