simulatedAnnealing implemented and tested for 2 constraints, gabutness and bentrokness
new constraint added, implementing fulfill check