169.94/171.73	unsat
