157.42/157.67	unsat
