TetraVex solver using Simulated Annealing