173.95/174.42	unsat
