modified the ticktock solver