tool.sat