142.50/144.75	unsat
