已知数据文件IN82.DAT中存有300个4位数，并已调用函数readDat()把这些数存入数组a中，请编制一函数isValue()，其功能是：求出这些4位数是素数的个数cnt，再求出所有满足此条件的4位数的平均值pjz1，以及所有不满足此条件的4位数的平均值pjz2，最后调用函数writeDat()把结果cnt,pjz1,pjz2，输出到out82.dat文件中。
例如：5591是素数，则该数满足条件，计算平均值pjz1，且个数cnt=cnt+1。
9812是非素数，则该数不满足条件，计算平均值pjz2。
注意：部分源程序已给出。
程序中已定义数组：a[300]，b[300]，已定义变量：cnt，pjz1，pjz2。
请勿改动主函数main()、读函数readDat()和写函数writeDat()的内容。
试题程序：
#include＜stdio. h＞
int a[300], cnt=0;
double pjz1=0.0, pjz2=0.0;

int isP(int m)

int i;
for (i=2; i＜m; i++)
if(m%i==0) return 0;
return 1;
｝

　　void jsValue()


　　｝

　　main ( )
｛
int i;
readDat ();
jsValue();
writeDat ();
printf ("cnt=%d\n满足条件的平均值pjz1=%7.21f\n不满足条件的平均值
pjz2=%7.21f\n", cnt, pjz1, pjz2);

readDat ( )

FILE *fp;
int i;
fp=fopen("in82.dat","r");
for (i=0; i＜300; i++)
fscanf (fp, "%d, ", &a [i]);
fclose (fp);


writeDat ()

FILE *fp;
int i;
fp=fopen("out82.dat","w");
fprintf(fp,"%d\n%7.21f\n%7.21f\n",cnt,pjz1,pjz2);
fclose(fp);

王强（男）与刘芳（女）经人介绍相识，于1996年登记结婚，婚后双方感情尚好，生有一女取名王小娟，现年11周岁。2004年夏天，王强与单位女同事张英的婚外恋情被刘芳发现，后来刘芳屡次去王强单位找张英理论，王强因此受到单位领导的批评教育。2006年12月，王强向人民法院起诉，要求与刘芳离婚，刘芳虑及女儿年幼，且双方婚姻基础较好，希望丈夫能回心转意，坚决不同意离婚。据此，法院判决不准离婚。但此后双方关系并未改善，经常争吵不休。2008年7月起，王强住到其姐姐处，不再回家，每月工资也不再交给刘芳，刘芳母女勉强靠刘芳一人工资收入维持生活。

2009年5月，王强再次向法院起诉要求离婚。刘芳提出，夫妻关系恶化是第三者张英勾引所致，只要排除张英干扰，双方有和好可能，故不能同意离婚。经法院多次调解，双方仍各执己见。

法院在审理过程中查明，刘芳目前所住房屋系王强父母在婚前为其购买的商品房。王强提出：离婚后刘芳应搬出该房；女儿王小娟由他抚养。但刘芳不同意王强提出的两项主张，坚决要求与女儿共同生活。对上述问题，双方无法达成协议。

在夫妻分居期间，王强曾向他人借债5万元，资助他的胞弟王刚做生意；刘芳向其朋友借债2万元，用于女儿生病住院费用，以上经查证属实。

试就本案情节，依据有关法律和司法解释，回答下列问题：

在刘芳坚持不离婚的情况下，法院可否判决双方离婚？为什么？