14.61/14.80	unsat
