141.55/144.33	unsat
