157.24/157.54	unsat
