169.52/169.67	unsat
