14.25/14.32	unsat
