157.08/157.30	unsat
