139.19/139.54	unsat
