14.16/15.32	unsat
