TetraVex Solver using Simulated Annealing