Ask anything to test maximumsats's tools