14.00/14.59	unsat
