function F = KB80F(x)
%

F(1) = -0.93924+(1-x(4))+(1-x(3))+(1-x(2))+x(1)-(1-x(4))*(1-x(3))-(1-x(4))*(1-x(2))-(1-x(4))*x(1)-(1-x(3))*(1-x(2))-(1-x(3))*x(1)-(1-x(2))*x(1)+(1-x(4))*(1-x(3))*(1-x(2))+(1-x(4))*(1-x(3))*x(1)+(1-x(4))*(1-x(2))*x(1)+(1-x(3))*(1-x(2))*x(1)-(1-x(4))*(1-x(3))*(1-x(2))*x(1);
F(2) = -0.99604+(1-x(5))+(1-x(4))+(1-x(3))+(1-x(1))+x(2)-(1-x(5))*(1-x(4))-(1-x(5))*(1-x(3))-(1-x(5))*(1-x(1))-(1-x(5))*x(2)-(1-x(4))*(1-x(3))-(1-x(4))*(1-x(1))-(1-x(4))*x(2)-(1-x(3))*(1-x(1))-(1-x(3))*x(2)-(1-x(1))*x(2)+(1-x(5))*(1-x(4))*(1-x(3))+(1-x(5))*(1-x(4))*(1-x(1))+(1-x(5))*(1-x(4))*x(2)+(1-x(5))*(1-x(3))*(1-x(1))+(1-x(5))*(1-x(3))*x(2)+(1-x(5))*(1-x(1))*x(2)+(1-x(4))*(1-x(3))*(1-x(1))+(1-x(4))*(1-x(3))*x(2)+(1-x(4))*(1-x(1))*x(2)+(1-x(3))*(1-x(1))*x(2)-(1-x(5))*(1-x(4))*(1-x(3))*(1-x(1))-(1-x(5))*(1-x(4))*(1-x(3))*x(2)-(1-x(5))*(1-x(4))*(1-x(1))*x(2)-(1-x(5))*(1-x(3))*(1-x(1))*x(2)-(1-x(4))*(1-x(3))*(1-x(1))*x(2)+(1-x(5))*(1-x(4))*(1-x(3))*(1-x(1))*x(2);
F(3) = -0.16249+(1-x(1))+x(5)-(1-x(1))*x(5);
F(4) = -0.87257+x(1);
F(5) = -0.99967+(1-x(5))+(1-x(4))+x(1)+x(2)+x(3)-(1-x(5))*(1-x(4))-(1-x(5))*x(1)-(1-x(5))*x(2)-(1-x(5))*x(3)-(1-x(4))*x(1)-(1-x(4))*x(2)-(1-x(4))*x(3)-x(1)*x(2)-x(1)*x(3)-x(2)*x(3)+(1-x(5))*(1-x(4))*x(1)+(1-x(5))*(1-x(4))*x(2)+(1-x(5))*(1-x(4))*x(3)+(1-x(5))*x(1)*x(2)+(1-x(5))*x(1)*x(3)+(1-x(5))*x(2)*x(3)+(1-x(4))*x(1)*x(2)+(1-x(4))*x(1)*x(3)+(1-x(4))*x(2)*x(3)+x(1)*x(2)*x(3)-(1-x(5))*(1-x(4))*x(1)*x(2)-(1-x(5))*(1-x(4))*x(1)*x(3)-(1-x(5))*(1-x(4))*x(2)*x(3)-(1-x(5))*x(1)*x(2)*x(3)-(1-x(4))*x(1)*x(2)*x(3)+(1-x(5))*(1-x(4))*x(1)*x(2)*x(3);
F(6) = -0.97559+x(1)+x(2)-x(1)*x(2);
F(7) = -0.99968+(1-x(5))+(1-x(3))+(1-x(1))+x(2)+x(4)-(1-x(5))*(1-x(3))-(1-x(5))*(1-x(1))-(1-x(5))*x(2)-(1-x(5))*x(4)-(1-x(3))*(1-x(1))-(1-x(3))*x(2)-(1-x(3))*x(4)-(1-x(1))*x(2)-(1-x(1))*x(4)-x(2)*x(4)+(1-x(5))*(1-x(3))*(1-x(1))+(1-x(5))*(1-x(3))*x(2)+(1-x(5))*(1-x(3))*x(4)+(1-x(5))*(1-x(1))*x(2)+(1-x(5))*(1-x(1))*x(4)+(1-x(5))*x(2)*x(4)+(1-x(3))*(1-x(1))*x(2)+(1-x(3))*(1-x(1))*x(4)+(1-x(3))*x(2)*x(4)+(1-x(1))*x(2)*x(4)-(1-x(5))*(1-x(3))*(1-x(1))*x(2)-(1-x(5))*(1-x(3))*(1-x(1))*x(4)-(1-x(5))*(1-x(3))*x(2)*x(4)-(1-x(5))*(1-x(1))*x(2)*x(4)-(1-x(3))*(1-x(1))*x(2)*x(4)+(1-x(5))*(1-x(3))*(1-x(1))*x(2)*x(4);
F(8) = -0.99211+(1-x(3))+(1-x(1))+x(2)+x(4)-(1-x(3))*(1-x(1))-(1-x(3))*x(2)-(1-x(3))*x(4)-(1-x(1))*x(2)-(1-x(1))*x(4)-x(2)*x(4)+(1-x(3))*(1-x(1))*x(2)+(1-x(3))*(1-x(1))*x(4)+(1-x(3))*x(2)*x(4)+(1-x(1))*x(2)*x(4)-(1-x(3))*(1-x(1))*x(2)*x(4);
F(9) = -0.98822+(1-x(5))+(1-x(4))+(1-x(1))+x(3)-(1-x(5))*(1-x(4))-(1-x(5))*(1-x(1))-(1-x(5))*x(3)-(1-x(4))*(1-x(1))-(1-x(4))*x(3)-(1-x(1))*x(3)+(1-x(5))*(1-x(4))*(1-x(1))+(1-x(5))*(1-x(4))*x(3)+(1-x(5))*(1-x(1))*x(3)+(1-x(4))*(1-x(1))*x(3)-(1-x(5))*(1-x(4))*(1-x(1))*x(3);
F(10) = -0.44415+(1-x(3))+(1-x(1))-(1-x(3))*(1-x(1));
F(11) = -0.99979+(1-x(5))+x(2)+x(3)+x(4)-(1-x(5))*x(2)-(1-x(5))*x(3)-(1-x(5))*x(4)-x(2)*x(3)-x(2)*x(4)-x(3)*x(4)+(1-x(5))*x(2)*x(3)+(1-x(5))*x(2)*x(4)+(1-x(5))*x(3)*x(4)+x(2)*x(3)*x(4)-(1-x(5))*x(2)*x(3)*x(4);
F(12) = -0.11129+(1-x(4))+x(5)-(1-x(4))*x(5);
F(13) = -0.99267+(1-x(2))+x(1)+x(4)+x(5)-(1-x(2))*x(1)-(1-x(2))*x(4)-(1-x(2))*x(5)-x(1)*x(4)-x(1)*x(5)-x(4)*x(5)+(1-x(2))*x(1)*x(4)+(1-x(2))*x(1)*x(5)+(1-x(2))*x(4)*x(5)+x(1)*x(4)*x(5)-(1-x(2))*x(1)*x(4)*x(5);
F(14) = -0.99734+(1-x(2))+x(1)+x(3)+x(4)+x(5)-(1-x(2))*x(1)-(1-x(2))*x(3)-(1-x(2))*x(4)-(1-x(2))*x(5)-x(1)*x(3)-x(1)*x(4)-x(1)*x(5)-x(3)*x(4)-x(3)*x(5)-x(4)*x(5)+(1-x(2))*x(1)*x(3)+(1-x(2))*x(1)*x(4)+(1-x(2))*x(1)*x(5)+(1-x(2))*x(3)*x(4)+(1-x(2))*x(3)*x(5)+(1-x(2))*x(4)*x(5)+x(1)*x(3)*x(4)+x(1)*x(3)*x(5)+x(1)*x(4)*x(5)+x(3)*x(4)*x(5)-(1-x(2))*x(1)*x(3)*x(4)-(1-x(2))*x(1)*x(3)*x(5)-(1-x(2))*x(1)*x(4)*x(5)-(1-x(2))*x(3)*x(4)*x(5)-x(1)*x(3)*x(4)*x(5)+(1-x(2))*x(1)*x(3)*x(4)*x(5);
F(15) = -0.41017+(1-x(4))+(1-x(3))-(1-x(4))*(1-x(3));
