144.29/144.49	unsat
