169.30/169.72	unsat
