14.16/15.97	unsat
