Added a description of sat solver to the readme file