144.05/144.47	unsat
