143.15/144.04	unsat
