171.50/171.80	unsat
