143.60/144.72	unsat
