167.17/167.84	unsat
