added files
Fixed allocation bug for SAT from int divison. Do search function next