Remove timeout parameter from certifiedSAT