144.29/144.68	unsat
