14.27/14.80	unsat
