169.27/171.68	unsat
