14.47/14.59	unsat
