138.96/141.08	unsat
