169.03/171.51	unsat
