#include <stdio.h>
#include <math.h>
#include <algorithm>
using namespace std;
const double eps=1e-8;
double h,ans,cake;
struct point {
    double x,y;
    point (){}
    point (double x,double y):x(x),y(y){}
    void get(){scanf("%lf%lf",&x,&y);}
};
struct poly{
    point p[21];
    int n;
    void get(){for(int i=0;i<n;i++)p[i].get();p[n]=p[0];}
}sg;
int dcmp(double x){
    return (x>eps)-(x<-eps);
}
double cross(point o,point p,point q){
    return (p.x-o.x)*(q.y-o.y)-(p.y-o.y)*(q.x-o.x);
}
point lineinter(point a,point b,point c,point d){
    double u=cross(a,b,c),v=cross(b,a,d);
    return point((c.x*v+d.x*u)/(u+v),(c.y*v+d.y*u)/(u+v));
}
double dis(point a,point b){
    return sqrt((a.x-b.x)*(a.x-b.x)+(a.y-b.y)*(a.y-b.y));
}
void push(point a,point b,point &c,point &d){
    double x=a.y-b.y,y=b.x-a.x,t=h/dis(a,b);
    c=point(a.x+x*t,a.y+y*t);
    d=point(b.x+x*t,b.y+y*t);
}
void cut(point a,point b,poly tg,poly &g){
    push(a,b,a,b);
    g.n=0;
    for(int i=0;i<tg.n;i++){
        int u=dcmp(cross(a,b,tg.p[i])),v=dcmp(cross(a,b,tg.p[i+1]));
        if(u>=0)g.p[g.n++]=tg.p[i];
        if(u*v<0) g.p[g.n++]=lineinter(a,b,tg.p[i],tg.p[i+1]);
    }
    g.p[g.n]=g.p[0];
}
double area(poly g){
    double sum=0;
    for(int i=2;i<g.n;i++)
        sum+=cross(g.p[0],g.p[i-1],g.p[i]);
    return 0.5*sum;
}
void dfs(int i,int step,poly g){
    if(step+i<sg.n)dfs(i+1,step,g);
    cut(sg.p[i],sg.p[i+1],g,g);
    if(step==1)ans=max(ans,cake-area(g));
    else dfs(i+1,step-1,g);
}
int main(){
    int k;
    while(scanf("%d%d%lf",&sg.n,&k,&h),sg.n||k||h){
        sg.get();
        cake=area(sg);
        ans=0;
        k=min(k,sg.n);
        if(k&&h)dfs(0,k,sg);
        printf("%.2lf\n",ans);
    }
    return 0;
}